$\forall$$A$:Type, $x$:$A$+Unit. ?[$x$] $\in$ $A$ List